x86/hpet: simplify hpet_get_channel()
authorJan Beulich <jbeulich@suse.com>
Fri, 23 Mar 2012 15:13:29 +0000 (16:13 +0100)
committerJan Beulich <jbeulich@suse.com>
Fri, 23 Mar 2012 15:13:29 +0000 (16:13 +0100)
commit0f049e6e2b4919250b1c66fabdbf8d812aa43880
treed792ba4075f0a3b0d4a4374ba15c52e7afde4f0d
parente02af69dc20d4a9319fb6992be3d5bc3e41b49ab
x86/hpet: simplify hpet_get_channel()

There's no need for a lock here, elimination of which makes the
function a leaf one, thus allowing for better (and smaller) code.

Further, use the variable next_channel according to its name - so far
it represented the most recently used channel rather than the next one
to use.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/x86/hpet.c